(define (problem strips-mprime-x-30)
   (:domain mystery-prime-strips)
   (:objects turkey cucumber baguette beef muffin hotdog mutton
             chicken hamburger yogurt scallop rice guava triumph
             intoxication expectation excitement achievement prostatitis dread
             laceration anxiety boils sciatica abrasion quebec goias manitoba
             surrey pennsylvania alsace guanabara arizona oregon bosnia
             bavaria moravia kentucky mars vulcan neptune venus)
   (:init (food turkey)
          (food cucumber)
          (food baguette)
          (food beef)
          (food muffin)
          (food hotdog)
          (food mutton)
          (food chicken)
          (food hamburger)
          (food yogurt)
          (food scallop)
          (food rice)
          (food guava)
          (pleasure triumph)
          (pleasure intoxication)
          (pleasure expectation)
          (pleasure excitement)
          (pleasure achievement)
          (pain prostatitis)
          (pain dread)
          (pain laceration)
          (pain anxiety)
          (pain boils)
          (pain sciatica)
          (pain abrasion)
          (province quebec)
          (province goias)
          (province manitoba)
          (province surrey)
          (province pennsylvania)
          (province alsace)
          (province guanabara)
          (province arizona)
          (province oregon)
          (province bosnia)
          (province bavaria)
          (province moravia)
          (province kentucky)
          (planet mars)
          (planet vulcan)
          (planet neptune)
          (planet venus)
          (eats hotdog cucumber)
          (locale baguette guanabara)
          (locale hamburger bavaria)
          (eats muffin baguette)
          (eats baguette muffin)
          (eats rice scallop)
          (craves prostatitis cucumber)
          (craves intoxication beef)
          (attacks surrey pennsylvania)
          (locale muffin oregon)
          (eats guava yogurt)
          (eats turkey chicken)
          (craves sciatica yogurt)
          (attacks quebec goias)
          (craves excitement yogurt)
          (craves anxiety chicken)
          (eats turkey muffin)
          (eats beef hamburger)
          (eats baguette rice)
          (eats hamburger hotdog)
          (eats mutton chicken)
          (harmony excitement venus)
          (harmony triumph vulcan)
          (locale guava oregon)
          (locale hotdog kentucky)
          (eats mutton hotdog)
          (eats chicken hotdog)
          (eats guava rice)
          (attacks arizona oregon)
          (eats hotdog hamburger)
          (eats muffin turkey)
          (eats cucumber hotdog)
          (eats rice baguette)
          (eats beef baguette)
          (craves triumph turkey)
          (attacks guanabara arizona)
          (eats turkey cucumber)
          (eats baguette beef)
          (eats scallop yogurt)
          (eats hamburger beef)
          (eats beef hotdog)
          (locale chicken surrey)
          (attacks alsace guanabara)
          (attacks manitoba surrey)
          (craves achievement guava)
          (locale turkey pennsylvania)
          (eats cucumber baguette)
          (eats chicken mutton)
          (eats baguette cucumber)
          (attacks moravia kentucky)
          (orbits neptune venus)
          (harmony expectation venus)
          (eats scallop rice)
          (locale yogurt bosnia)
          (attacks oregon bosnia)
          (eats chicken turkey)
          (attacks bosnia bavaria)
          (craves dread baguette)
          (attacks bavaria moravia)
          (eats hotdog beef)
          (harmony achievement vulcan)
          (craves abrasion guava)
          (attacks goias manitoba)
          (eats rice guava)
          (craves expectation hamburger)
          (eats cucumber turkey)
          (orbits vulcan neptune)
          (harmony intoxication venus)
          (eats yogurt guava)
          (eats hotdog chicken)
          (locale cucumber bavaria)
          (eats yogurt scallop)
          (orbits mars vulcan)
          (locale beef bavaria)
          (locale mutton goias)
          (locale scallop oregon)
          (locale rice guanabara)
          (craves laceration muffin)
          (attacks pennsylvania alsace)
          (eats hotdog mutton)
          (craves boils hamburger))
   (:goal (and (craves dread mutton)
               (craves boils mutton)
               (craves anxiety chicken))))